home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Tech Arsenal 1
/
Tech Arsenal (Arsenal Computer).ISO
/
tek-04
/
aie8911.zip
/
TALK2
< prev
next >
Wrap
Text File
|
1989-08-02
|
1KB
|
77 lines
AI_SL/16
SPECIFICATION
THE PROBLEM:
* UNDERSTANDING THE SPECS
* KNOWING IF THEY ARE OK
PROPOSED SOLUTION:
EXECUTE THE SPECS
AND TRY THEM OUT
REQUIREMENT:
NEED TO BE ABLE TO DO THIS
AT AN EARLY STAGE, WITH SOME
INFO NOT SPECIFIED.
AI_SL/17
EXAMPLE ( from BLS):
Process housing units
The first specification:
stub [ call :
process_housing_unit( X )
purpose:
$processes a housing unit$].
The test:
test :- process_housing_unit( 1 ).
NOW, LET'S RUN IT.
AI_SL/18
MORE ELABORATE SPECS... (STEP 2_)
-- see v2.ari on computer
WE CAN CONTROL THE LEVEL OF DISPLAY
AND EXECUTION
?- turn( process_housing_unit, off).
?- show( process_housing_unit, off).
AI_SL/19
WHAT EXECUTES SPECS:
1. EXTENDED INTERPRETER
RUNS SPECS AS WELL AS CODE
2. ANALYSIS OF SPECS TO SEE WHAT
IS REQUIRED,
E.G. BRANCH, LOOP, ETC.
-- SEE is_a_boolean IN STUBS.ARI
3. GENERIC ROUTINES
-- SEE yes IN STUBS.ARI